$\forall$$T$:Type, $l$:$T$ List, $x$:$T$, $P$:($T$$\rightarrow$Prop). $y$ = succ($x$) in $l$$\Rightarrow$ $P$($y$) $\in$ Prop